$\forall$${\it the\_w}$:World. E $\in$ Type